type conversion using int()